(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(declare-fun i () Real)
(assert (distinct (= c 0 0 e 0 f d)))
(assert (not (exists ((g Real)) (=> (distinct (not (exists ((h Real)) (=> (= c 0) (= (= (= h 0) (= 0 c)) (= b 0))))) (= 0 i a)) (= 0 d)))))
(check-sat)
